- Reduktionsregel
- f правило с. приведения мат.; правило с. эквивалентной замены
Neue große deutsch-russische Wörterbuch Polytechnic. 2014.
Reduktionsregel
Смотреть что такое "Reduktionsregel" в других словарях:
Kombinator — Kombinatorische Logik (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders… … Deutsch Wikipedia
Kombinatorische Logik — (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders in der Informatik als… … Deutsch Wikipedia
